Rosenblueth, David A : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (28)
Les plus populaires
Liste
- Liste
- Tableau

1

Adaptive self‐organization vs static optimization

Gershenson, Carlos, Rosenblueth, David A.

Journal:

Année:

2012

Langue:

english

Fichier:

PDF, 338 KB

english, 2012

2

An execution mechanism for nondeterministic, state-oriented programs based on a chart parser

David A. Rosenblueth

Journal:

Information Processing Letters

Année:

1993

Langue:

english

Fichier:

PDF, 560 KB

english, 1993

3

CTL update of Kripke models through protections

Carrillo, Miguel, Rosenblueth, David A.

Journal:

Artificial Intelligence

Année:

2014

Langue:

english

Fichier:

PDF, 657 KB

english, 2014

4

[IEEE 2012 4th World Congress on Software Engineering (WCSE) - Wuhan, China (2012.11.6-2012.11.8)] 2012 Third World Congress on Software Engineering - Efficient Model Checking and FMEA Analysis with Deterministic Scheduling of Transition-Labeled Finite-State Machines

Estivill-Castro, Vladimir, Hexel, Rene, Rosenblueth, David A.

Année:

2012

Langue:

english

Fichier:

PDF, 213 KB

english, 2012

5

[IEEE 2012 19th Asia-Pacific Software Engineering Conference (APSEC) - Hong Kong, China (2012.12.4-2012.12.7)] 2012 19th Asia-Pacific Software Engineering Conference - Efficient Modelling of Embedded Software Systems and their Formal Verification

Estivill-Castro, Vladimir, Hexel, Rene, Rosenblueth, David A.

Année:

2012

Langue:

english

Fichier:

PDF, 203 KB

english, 2012

6

[IEEE 2016 International Conference on Autonomous Robot Systems and Competitions (ICARSC) - Bragança, Portugal (2016.5.4-2016.5.6)] 2016 International Conference on Autonomous Robot Systems and Competitions (ICARSC) - Configurable Mobile Robot Behaviors Implemented on FPGA Based Architectures

Savage, Jesus, Cruz, Jesus, Matamoros, Mauricio, Rosenblueth, David A., Munoz, Stalin, Negrete, Marco

Année:

2016

Langue:

english

Fichier:

PDF, 513 KB

english, 2016

7

Self-organizing traffic lights at multiple-street intersections

Carlos Gershenson, David A. Rosenblueth

Journal:

Année:

2012

Langue:

english

Fichier:

PDF, 1.11 MB

english, 2012

8

Disjunctive partial deduction of a right-to-left string-matching algorithm

Manuel Hernández, David A. Rosenblueth

Journal:

Information Processing Letters

Année:

2003

Langue:

english

Fichier:

PDF, 85 KB

english, 2003

9

SLR inference: An inference system for fixed-mode logic programs, based on SLR parsing

David A. Rosenblueth, Julio C. Peralta

Journal:

The Journal of Logic Programming

Année:

1998

Langue:

english

Fichier:

PDF, 1.63 MB

english, 1998

10

Chart parsers as inference systems for fixed-mode logic programs

David A. Rosenblueth

Journal:

New Generation Computing

Année:

1996

Langue:

english

Fichier:

PDF, 1.33 MB

english, 1996

11

"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis

Gustavo Arellano, Julián Argil, Eugenio Azpeitia, Mariana Benítez, Miguel Carrillo, Pedro Góngora, David A Rosenblueth, Elena R Alvarez-Buylla

Journal:

BMC Bioinformatics

Année:

2011

Langue:

english

Fichier:

PDF, 587 KB

english, 2011

12

The Services .

Carrillo, Miguel, Rosenblueth, David A.

Journal:

Année:

1922

Langue:

english

Fichier:

PDF, 208 KB

english, 1922

13

THE FORENSIC IMPORTANCE OF DISTINGUISHING BETWEEN THE CONTENTS OF THE SMALL AND LARGE INTESTINE.

Carrillo, Miguel, Rosenblueth, David A.

Journal:

Année:

1902

Langue:

english

Fichier:

PDF, 173 KB

english, 1902

14

[IEEE 2013 IEEE Congress on Evolutionary Computation (CEC) - Cancun, Mexico (2013.06.20-2013.06.23)] 2013 IEEE Congress on Evolutionary Computation - The dynamically extended mind

Froese, Tom, Gershenson, Carlos, Rosenblueth, David A.

Année:

2013

Langue:

english

Fichier:

PDF, 818 KB

english, 2013

15

A model of the regulatory network involved in the control of the cell cycle and cell differentiation in the Caenorhabditis elegans vulva

Weinstein, Nathan, Ortiz-Gutiérrez, Elizabeth, Muñoz, Stalin, Rosenblueth, David A, Álvarez-Buylla, Elena R, Mendoza, Luis

Journal:

BMC Bioinformatics

Année:

2015

Langue:

english

Fichier:

PDF, 2.74 MB

english, 2015

16

An overview of existing modeling tools making use of model checking in the analysis of biochemical networks

Carrillo, Miguel, Góngora, Pedro A., Rosenblueth, David A.

Journal:

Frontiers in Plant Science

Année:

2012

Langue:

english

Fichier:

PDF, 473 KB

english, 2012

17

Measuring the Complexity of Self-Organizing Traffic Lights

Zubillaga, Darío, Cruz, Geovany, Aguilar, Luis, Zapotécatl, Jorge, Fernández, Nelson, Aguilar, José, Rosenblueth, David, Gershenson, Carlos

Journal:

Année:

2014

Langue:

english

Fichier:

PDF, 523 KB

english, 2014

18

Life as Thermodynamic Evidence of Algorithmic Structure in Natural Environments

Zenil, Hector, Gershenson, Carlos, Marshall, James, Rosenblueth, David

Journal:

Année:

2012

Langue:

english

Fichier:

PDF, 331 KB

english, 2012

19

Syntactic recognition of regulatory regions in Escherichia coli

Rosenblueth, David A., Thieffry, Denis, Huerta, Araceli M., Salgado, Heladia, Collado-Vides, Julio

Journal:

Année:

1996

Langue:

english

Fichier:

PDF, 744 KB

english, 1996

20

[Lecture Notes in Computer Science] Algorithms for Computational Biology Volume 9199 ||

Dediu, Adrian-Horia, Hernández-Quiroz, Francisco, Martín-Vide, Carlos, Rosenblueth, David A.

Année:

2015

Langue:

english

Fichier:

PDF, 10.85 MB

english, 2015

21

FITNESS LANDSCAPE EPISTASIS AND RECOMBINATION

DEL RÍO, MANUEL BELTRÁN, STEPHENS, CHRISTOPHER R., ROSENBLUETH, DAVID A.

Journal:

Advances in Complex Systems

Année:

2015

Langue:

english

Fichier:

PDF, 2.15 MB

english, 2015

22

Chain programs for writing deterministic metainterpreters

ROSENBLUETH, DAVID A.

Journal:

Theory and Practice of Logic Programming

Année:

2002

Langue:

english

Fichier:

PDF, 335 KB

english, 2002

23

The combination of the functionalities of feedback circuits is determinant for the attractors’ number and size in pathway-like Boolean networks

Azpeitia, Eugenio, Muñoz, Stalin, González-Tokman, Daniel, Martínez-Sánchez, Mariana Esther, Weinstein, Nathan, Naldi, Aurélien, Álvarez-Buylla, Elena R., Rosenblueth, David A., Mendoza, Luis

Journal:

Scientific Reports

Année:

2017

Langue:

english

Fichier:

PDF, 1.40 MB

english, 2017

24

Erratum: The combination of the functionalities of feedback circuits is determinant for the attractors’ number and size in pathway-like Boolean networks

Azpeitia, Eugenio, Muñoz, Stalin, González-Tokman, Daniel, Martínez-Sánchez, Mariana Esther, Weinstein, Nathan, Naldi, Aurélien, Álvarez-Buylla, Elena R., Rosenblueth, David A., Mendoza, Luis

Journal:

Scientific Reports

Année:

2017

Langue:

english

Fichier:

PDF, 124 KB

english, 2017

25

Influence Networks compared with Reaction Networks: Semantics, Expressivity and Attractors

Fages, Francois, Martinez, Thierry, Rosenblueth, David, Soliman, Sylvain

Journal:

IEEE/ACM Transactions on Computational Biology and Bioinformatics

Année:

2018

Langue:

english

Fichier:

PDF, 1.56 MB

english, 2018

26

Deliberative Self-Organizing Traffic Lights with Elementary Cellular Automata

Zapotecatl, Jorge L., Rosenblueth, David A., Gershenson, Carlos

Journal:

Année:

2017

Langue:

english

Fichier:

PDF, 6.01 MB

english, 2017

27

Editorial: Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology

Rosenblueth, David A.

Journal:

Frontiers in Bioengineering and Biotechnology

Année:

2016

Langue:

english

Fichier:

PDF, 105 KB

english, 2016

28

Griffin: A Tool for Symbolic Inference of Synchronous Boolean Molecular Networks

Muñoz, Stalin, Carrillo, Miguel, Azpeitia, Eugenio, Rosenblueth, David A.

Journal:

Frontiers in Genetics

Année:

2018

Langue:

english

Fichier:

PDF, 14.92 MB

english, 2018